
@import url("colorizer.css");

body {
  margin-bottom: 10em;
}

div.example {
  border: 1px solid brown;
  padding: 1em;
}

div.example + details > dd {
  margin:  0;
  padding: 0 0 0 1ex;
}

code {
  color: orangered;
}
